Project Mathematics! - PDFSEARCH.IO - Document Search Engine

Project Mathematics!
Results: 2319

#	Item
551	Dean, L. Atkinson, P and Unver, E. Evolving individualised consumer products Abstract The origins of this project began in 2002 with experimentation into the application of computer generated random form to 3D product d Add to Reading List Source URL: www.ead.verhaag.net Language: English - Date: 2006-08-26 04:26:21 Mathematical optimization Biology Computer-aided design Applied mathematics Genetic algorithm Evolutionary algorithm Evolutionary computation Evolutionary art Artificial life Cybernetics Science Evolution
552	Counting by Coin Tossings Philippe Flajolet Algorithms Project, INRIA-Rocquencourt, 78153 Le Chesnay (France) [removed] Abstract. This text is an informal review of several randomized algorithms that ha Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2004-09-28 13:04:59 Search algorithms Analysis of algorithms Probability theory Hashing Approximate counting algorithm Randomized algorithm Bloom filter Estimation theory Hash table Mathematics Applied mathematics Theoretical computer science
553	April[removed]SMP news In this issue Add to Reading List Source URL: www.smpmaths.org.uk Language: English - Date: 2009-03-24 05:52:22 Functional Skills Mathematics School Mathematics Project Edexcel Spreadsheet Advisory Committee on Mathematics Education Education Mathematics education General Certificate of Secondary Education
554	SOCIAL, COGNITIVE, AND BEHAVIOURAL SYSTEMS FINAL PROJECT 1 Discrete Invasive Weed Optimization for Nash Equilibrium Search in Nonlinear Games Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2009-09-27 13:06:36 Mathematics Mathematical analysis Global optimization Evolutionary algorithm Genetic algorithm Stochastic optimization Optimization problem Mathematical optimization Cybernetics Applied mathematics
555	The AI4FM approach for proof automation within formal methods A Grand Challenge 6 “Dependable Systems Evolution" project Gudmund Grov Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Logical syntax Formal methods Mathematical logic Theoretical computer science Rippling Mathematical proof Theorem Formal proof KeY Logic Mathematics Automated theorem proving
556	D[removed]OCO (Orbiting Carbon Observatory) Project OCO-2 Software Interface Specification Add to Reading List Source URL: disc.sci.gsfc.nasa.gov Language: English - Date: 2015-03-19 14:33:47 Abstract algebra Vectors Analytic geometry Query languages Vector space Array programming SQL Scalar Algebra Mathematics Linear algebra
557	STUDENTS PERFORM 30% BETTER THANKS TO CABRI In Spain, an official investigation has put into evidence a significant improvement in the education of mathematics thanks to Cabri. The investigation is part of a project of t Add to Reading List Source URL: www.cabri.com Language: English - Date: 2010-07-05 09:42:43 Distance education E-learning Education reform Regents Examinations Education Mathematics education Educational psychology
558	for AQA, Edexcel and OCR two-tier GCSE mathematics Resource sheets for Foundation 1 © The School Mathematics Project 2006 Add to Reading List Source URL: www.smpmaths.org.uk Language: English - Date: 2006-12-06 06:08:22 Mathematics Euclidean geometry Reflection symmetry Rotation Geometry Symmetry Rotational symmetry
559	Warsaw University Faculty of Mathematics, Informatics and Mechanics Ngo Chi Lang Index: 181191 Add to Reading List Source URL: project.carrot2.org Language: English - Date: 2015-01-09 08:48:14 Science Natural language processing Multivariate statistics Data mining Document clustering Cluster analysis Hierarchical clustering Carrot2 Vector space model Information science Statistics Information retrieval
560	D[removed]OCO (Orbiting Carbon Observatory) Project OCO-2 Software Interface Specification Add to Reading List Source URL: disc.sci.gsfc.nasa.gov Language: English - Date: 2015-03-19 14:33:02 Abstract algebra Vectors Analytic geometry Query languages Vector space Array programming SQL Scalar Algebra Mathematics Linear algebra

UPDATE